Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cross-platform software
• Scripting languages
• Logic in computer science
• JavaScript
• Separation logic
• Inline expansion
• Correctness
• Loop unrolling

Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA

Source URL: ecee.colorado.edu

• Type theory
• Software engineering
• Programming language theory
• Mathematical logic
• Type systems
• Data types
• Gradual typing
• Subtyping
• Symbol
• Type safety
• Model theory
• Type inference

Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria

Source URL: plv.csail.mit.edu

• Programming idioms
• Computability theory
• Functional programming
• Logic in computer science
• Models of computation
• Recursion
• Denotational semantics
• Monad
• FO
• Valuation
• Static single assignment form

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

From last week Principles of programming languages Q: Multiparadigm languages? A: Yes Alma-0 combines logic and imperative programming

Source URL: www.few.vu.nl

CALL FOR PAPERS — FLOPSThirteenth International Symposium on Functional and Logic Programming Kochi (Shikoku), Japan Organizers:

Source URL: www.info.kochi-tech.ac.jp

c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

Source URL: www.cs.ioc.ee

• Logic in computer science
• Programming language semantics
• Models of computation
• Computability theory
• Logic programming
• Substitution
• Operational semantics
• Denotational semantics
• Lambda calculus
• Structure

A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

Microsoft PowerPoint - Access-Based Localization for Octagons.pptx

Source URL: nsad2012.ucombinator.org

• Constraint programming
• Logic programming
• Loop quantum gravity
• Data modeling
• Mathematical optimization

Bottom-Up Logic Programming for Multicores Flavio Cruz†‡ , Michael P. Ashley-Rollman† , Seth Copen Goldstein† , Ricardo Rocha‡ , Frank Pfenning† † Carnegie Mellon University, Pittsburgh, PA 15213 {fmfernan,

Source URL: www.mpi-sws.org